; TEST-ARGS: -disallow-ub-exploitation

define void @src() null_pointer_is_valid {
  ret void
}

define void @tgt() null_pointer_is_valid {
  ret void
}
